Trong logic học, hai mệnh đề P và Q gọi là tương đương logic hay tương đương với nhau nếu P và Q đồng thời có cùng một giá trị chân lý; nghĩa là P và Q cùng đúng (hoặc cùng sai), trong những điều kiện hoàn toàn như nhau, ta viết:và đọc là"⇔" gọi là dấu liên hệ tương đương.